Strong tree properties for two successive cardinals
نویسنده
چکیده
An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously (א2, μ)-ITP and (א3, μ′)-ITP hold, for all μ ≥ א2 and μ′ ≥ א3.
منابع مشابه
Successive Failures of Approachability
Motivated by showing that in ZFC we cannot construct a special Aronszajn tree on some cardinal greater than א1, we produce a model in which the approachability property fails (hence there are no special Aronszajn trees) at all regular cardinals in the interval [א2,אω2+3] and אω2 is strong limit.
متن کاملAronszajn Trees and Failure of the Singular Cardinal Hypothesis
The tree property at κ states that there are no Aronszajn trees on κ, or, equivalently, that every κ tree has a cofinal branch. For singular strong limit cardinals κ, there is tension between the tree property at κ and failure of the singular cardinal hypothesis at κ; the former is typically the result of the presence of strongly compact cardinals in the background, and the latter is impossible...
متن کاملIndestructibility, Strong Compactness, and Level by Level Equivalence
We show the relative consistency of the existence of two strongly compact cardinals κ1 and κ2 which exhibit indestructibility properties for their strong compactness, together with level by level equivalence between strong compactness and supercompactness holding at all measurable cardinals except for κ1. In the model constructed, κ1’s strong compactness is indestructible under arbitrary κ1-dir...
متن کاملFragility and indestructibility II
In this paper we continue work from a previous paper on the fragility and indestructibility of the tree property. We present the following: (1) A preservation lemma implicit in Mitchell’s PhD thesis, which generalizes all previous versions of Hamkins’ Key lemma. (2) A new proof of theorems the ‘superdestructibility’ theorems of Hamkins and Shelah. (3) An answer to a question from our previous p...
متن کاملThe definable tree property for successors of cardinals
Strengthening a result of Amir Leshem [7], we prove that the consistency strength of holding GCH together with definable tree property for all successors of regular cardinals is precisely equal to the consistency strength of existence of proper class many Π 1 reflecting cardinals. Moreover it is proved that if κ is a supercompact cardinal and λ > κ is measurable, then there is a generic extensi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 51 شماره
صفحات -
تاریخ انتشار 2012